node(1).
node(2).
node(3).
node(4).
node(5).
node(6).
node(7).
node(8).
node(9).
node(10).
node(11).
node(12).
node(13).
node(14).
node(15).
node(16).
node(17).
node(18).
node(19).
node(20).
node(21).
node(22).
node(23).
node(24).
node(25).
node(26).
node(27).
node(28).
node(29).
node(30).
node(31).
node(32).
node(33).
node(34).
node(35).
node(36).
node(37).
node(38).
node(39).
node(40).
node(41).
node(42).
node(43).
node(44).
node(45).
node(46).
node(47).
node(48).
node(49).
node(50).
node(51).
node(52).
node(53).
node(54).
node(55).
node(56).
node(57).
node(58).
node(59).
node(60).
node(61).
node(62).
node(63).
node(64).
node(65).
node(66).
node(67).
node(68).
node(69).
node(70).
node(71).
node(72).
node(73).
node(74).
node(75).
node(76).
node(77).
node(78).
node(79).
node(80).
node(81).
node(82).
node(83).
node(84).
node(85).
node(86).
node(87).
node(88).
node(89).
node(90).
node(91).
node(92).
node(93).
node(94).
node(95).
node(96).
node(97).
node(98).
node(99).
node(100).
node(101).
node(102).
node(103).
node(104).
node(105).
node(106).
node(107).
node(108).
node(109).
node(110).
node(111).
node(112).
node(113).
node(114).
node(115).
node(116).
node(117).
node(118).
node(119).
node(120).
node(121).
node(122).
node(123).
node(124).
node(125).
node(126).
node(127).
node(128).
node(129).
node(130).
node(131).
node(132).
node(133).
node(134).
node(135).
node(136).
node(137).
node(138).
node(139).
node(140).
node(141).
node(142).
node(143).
node(144).
node(145).
link(1,6) :- #0.752.
link(6,1) :- #0.2.
link(1,22) :- #0.67.
link(22,1) :- #0.026.
link(1,31) :- #0.925.
link(31,1) :- #0.462.
link(1,49) :- #0.843.
link(49,1) :- #0.187.
link(1,56) :- #0.35.
link(56,1) :- #0.259.
link(1,72) :- #0.942.
link(72,1) :- #0.351.
link(1,74) :- #0.683.
link(74,1) :- #0.628.
link(1,86) :- #0.13.
link(86,1) :- #0.727.
link(1,94) :- #0.472.
link(94,1) :- #0.777.
link(1,111) :- #0.815.
link(111,1) :- #0.28.
link(2,7) :- #0.961.
link(7,2) :- #0.833.
link(2,11) :- #0.064.
link(11,2) :- #0.287.
link(2,14) :- #0.762.
link(14,2) :- #0.812.
link(2,23) :- #0.605.
link(23,2) :- #0.733.
link(2,36) :- #0.966.
link(36,2) :- #0.374.
link(2,40) :- #0.977.
link(40,2) :- #0.237.
link(2,58) :- #0.414.
link(58,2) :- #0.675.
link(2,67) :- #0.904.
link(67,2) :- #0.485.
link(2,73) :- #0.073.
link(73,2) :- #0.967.
link(2,76) :- #0.218.
link(76,2) :- #0.805.
link(2,97) :- #0.462.
link(97,2) :- #0.93.
link(2,98) :- #0.151.
link(98,2) :- #0.512.
link(2,101) :- #0.809.
link(101,2) :- #0.966.
link(2,120) :- #0.559.
link(120,2) :- #0.373.
link(2,121) :- #0.157.
link(121,2) :- #0.498.
link(2,125) :- #0.907.
link(125,2) :- #0.486.
link(2,134) :- #0.
link(134,2) :- #0.377.
link(2,136) :- #0.715.
link(136,2) :- #0.497.
link(2,141) :- #0.543.
link(141,2) :- #0.842.
link(2,143) :- #0.618.
link(143,2) :- #0.404.
link(3,6) :- #0.304.
link(6,3) :- #0.393.
link(3,15) :- #0.435.
link(15,3) :- #0.717.
link(3,16) :- #0.324.
link(16,3) :- #0.92.
link(3,19) :- #0.307.
link(19,3) :- #0.965.
link(3,23) :- #0.475.
link(23,3) :- #0.441.
link(3,24) :- #0.493.
link(24,3) :- #0.034.
link(3,55) :- #0.558.
link(55,3) :- #0.632.
link(3,62) :- #0.922.
link(62,3) :- #0.63.
link(3,84) :- #0.683.
link(84,3) :- #0.769.
link(3,113) :- #0.898.
link(113,3) :- #0.852.
link(3,116) :- #0.543.
link(116,3) :- #0.782.
link(3,119) :- #0.062.
link(119,3) :- #0.01.
link(3,136) :- #0.147.
link(136,3) :- #0.391.
link(3,138) :- #0.83.
link(138,3) :- #0.078.
link(4,12) :- #0.51.
link(12,4) :- #0.141.
link(4,14) :- #0.405.
link(14,4) :- #0.585.
link(4,32) :- #0.136.
link(32,4) :- #0.832.
link(4,47) :- #0.121.
link(47,4) :- #0.023.
link(4,60) :- #0.353.
link(60,4) :- #0.073.
link(4,69) :- #0.448.
link(69,4) :- #0.557.
link(4,103) :- #0.137.
link(103,4) :- #0.47.
link(4,105) :- #0.599.
link(105,4) :- #0.729.
link(4,114) :- #0.727.
link(114,4) :- #0.322.
link(4,120) :- #0.101.
link(120,4) :- #0.019.
link(4,122) :- #0.599.
link(122,4) :- #0.432.
link(4,125) :- #0.223.
link(125,4) :- #0.345.
link(4,127) :- #0.244.
link(127,4) :- #0.97.
link(5,24) :- #0.267.
link(24,5) :- #0.54.
link(5,37) :- #0.213.
link(37,5) :- #0.962.
link(5,39) :- #0.757.
link(39,5) :- #0.233.
link(5,46) :- #0.42.
link(46,5) :- #0.313.
link(5,64) :- #0.798.
link(64,5) :- #0.664.
link(5,80) :- #0.126.
link(80,5) :- #0.851.
link(5,95) :- #0.671.
link(95,5) :- #0.538.
link(5,97) :- #0.249.
link(97,5) :- #0.334.
link(5,103) :- #0.097.
link(103,5) :- #0.803.
link(5,112) :- #0.825.
link(112,5) :- #0.083.
link(5,114) :- #0.059.
link(114,5) :- #0.068.
link(5,126) :- #0.982.
link(126,5) :- #0.778.
link(5,138) :- #0.225.
link(138,5) :- #0.51.
link(6,12) :- #0.705.
link(12,6) :- #0.067.
link(6,17) :- #0.637.
link(17,6) :- #0.463.
link(6,18) :- #0.771.
link(18,6) :- #0.334.
link(6,26) :- #0.56.
link(26,6) :- #0.095.
link(6,34) :- #0.474.
link(34,6) :- #0.948.
link(6,63) :- #0.29.
link(63,6) :- #0.797.
link(6,75) :- #0.318.
link(75,6) :- #0.288.
link(6,77) :- #0.95.
link(77,6) :- #0.167.
link(6,87) :- #0.626.
link(87,6) :- #0.291.
link(6,100) :- #0.228.
link(100,6) :- #0.951.
link(6,107) :- #0.564.
link(107,6) :- #0.105.
link(6,111) :- #0.81.
link(111,6) :- #0.714.
link(6,122) :- #0.18.
link(122,6) :- #0.082.
link(6,126) :- #0.527.
link(126,6) :- #0.319.
link(6,136) :- #0.771.
link(136,6) :- #0.794.
link(6,144) :- #0.82.
link(144,6) :- #0.993.
link(7,41) :- #0.78.
link(41,7) :- #0.389.
link(7,46) :- #0.724.
link(46,7) :- #0.684.
link(7,56) :- #0.042.
link(56,7) :- #0.596.
link(7,58) :- #0.696.
link(58,7) :- #0.618.
link(7,67) :- #0.007.
link(67,7) :- #0.212.
link(7,68) :- #0.195.
link(68,7) :- #0.374.
link(7,86) :- #0.432.
link(86,7) :- #0.456.
link(7,87) :- #0.026.
link(87,7) :- #0.95.
link(7,89) :- #0.483.
link(89,7) :- #0.032.
link(7,90) :- #0.208.
link(90,7) :- #0.128.
link(7,93) :- #0.358.
link(93,7) :- #0.022.
link(7,122) :- #0.307.
link(122,7) :- #0.067.
link(7,132) :- #0.908.
link(132,7) :- #0.301.
link(7,142) :- #0.945.
link(142,7) :- #0.47.
link(8,14) :- #0.89.
link(14,8) :- #0.382.
link(8,15) :- #0.119.
link(15,8) :- #0.366.
link(8,22) :- #0.707.
link(22,8) :- #0.669.
link(8,34) :- #0.255.
link(34,8) :- #0.772.
link(8,38) :- #0.902.
link(38,8) :- #0.585.
link(8,39) :- #0.862.
link(39,8) :- #0.112.
link(8,42) :- #0.362.
link(42,8) :- #0.045.
link(8,54) :- #0.616.
link(54,8) :- #0.57.
link(8,58) :- #0.724.
link(58,8) :- #0.054.
link(8,62) :- #0.573.
link(62,8) :- #0.041.
link(8,65) :- #0.813.
link(65,8) :- #0.674.
link(8,76) :- #0.555.
link(76,8) :- #0.191.
link(8,94) :- #0.17.
link(94,8) :- #0.36.
link(8,95) :- #0.147.
link(95,8) :- #0.498.
link(8,101) :- #0.553.
link(101,8) :- #0.319.
link(8,125) :- #0.811.
link(125,8) :- #0.197.
link(8,136) :- #0.284.
link(136,8) :- #0.473.
link(9,14) :- #0.706.
link(14,9) :- #0.403.
link(9,16) :- #0.163.
link(16,9) :- #0.261.
link(9,39) :- #0.622.
link(39,9) :- #0.657.
link(9,65) :- #0.166.
link(65,9) :- #0.523.
link(9,96) :- #0.949.
link(96,9) :- #0.803.
link(9,98) :- #0.066.
link(98,9) :- #0.281.
link(9,106) :- #0.837.
link(106,9) :- #0.823.
link(9,125) :- #0.57.
link(125,9) :- #0.315.
link(9,144) :- #0.066.
link(144,9) :- #0.641.
link(10,18) :- #0.222.
link(18,10) :- #0.023.
link(10,32) :- #0.986.
link(32,10) :- #0.334.
link(10,40) :- #0.758.
link(40,10) :- #0.318.
link(10,46) :- #0.215.
link(46,10) :- #0.868.
link(10,47) :- #0.353.
link(47,10) :- #0.108.
link(10,49) :- #0.059.
link(49,10) :- #0.677.
link(10,51) :- #0.245.
link(51,10) :- #0.628.
link(10,77) :- #0.59.
link(77,10) :- #0.016.
link(10,99) :- #0.005.
link(99,10) :- #0.18.
link(10,112) :- #0.51.
link(112,10) :- #0.293.
link(10,115) :- #0.683.
link(115,10) :- #0.432.
link(10,138) :- #0.866.
link(138,10) :- #0.847.
link(11,14) :- #0.451.
link(14,11) :- #0.603.
link(11,22) :- #0.904.
link(22,11) :- #0.338.
link(11,48) :- #0.1.
link(48,11) :- #0.859.
link(11,53) :- #0.133.
link(53,11) :- #0.788.
link(11,58) :- #0.993.
link(58,11) :- #0.899.
link(11,64) :- #0.722.
link(64,11) :- #0.85.
link(11,67) :- #0.106.
link(67,11) :- #0.681.
link(11,73) :- #0.499.
link(73,11) :- #0.427.
link(11,85) :- #0.681.
link(85,11) :- #0.12.
link(11,93) :- #0.057.
link(93,11) :- #0.762.
link(11,99) :- #0.506.
link(99,11) :- #0.246.
link(11,105) :- #0.199.
link(105,11) :- #0.446.
link(11,123) :- #0.874.
link(123,11) :- #0.265.
link(11,124) :- #0.317.
link(124,11) :- #0.993.
link(11,130) :- #0.919.
link(130,11) :- #0.176.
link(11,138) :- #0.412.
link(138,11) :- #0.062.
link(11,139) :- #0.331.
link(139,11) :- #0.546.
link(12,13) :- #0.615.
link(13,12) :- #0.607.
link(12,23) :- #0.67.
link(23,12) :- #0.85.
link(12,35) :- #0.947.
link(35,12) :- #0.188.
link(12,37) :- #0.724.
link(37,12) :- #0.766.
link(12,40) :- #0.21.
link(40,12) :- #0.887.
link(12,52) :- #0.207.
link(52,12) :- #0.367.
link(12,70) :- #0.675.
link(70,12) :- #0.25.
link(12,72) :- #0.558.
link(72,12) :- #0.32.
link(12,93) :- #0.211.
link(93,12) :- #0.986.
link(12,102) :- #0.728.
link(102,12) :- #0.783.
link(12,105) :- #0.809.
link(105,12) :- #0.847.
link(12,117) :- #0.497.
link(117,12) :- #0.39.
link(12,129) :- #0.801.
link(129,12) :- #0.728.
link(12,138) :- #0.553.
link(138,12) :- #0.635.
link(13,47) :- #0.195.
link(47,13) :- #0.205.
link(13,48) :- #0.988.
link(48,13) :- #0.681.
link(13,84) :- #0.377.
link(84,13) :- #0.038.
link(13,88) :- #0.99.
link(88,13) :- #0.395.
link(13,97) :- #0.306.
link(97,13) :- #0.69.
link(13,110) :- #0.925.
link(110,13) :- #0.664.
link(13,117) :- #0.33.
link(117,13) :- #0.426.
link(13,131) :- #0.108.
link(131,13) :- #0.343.
link(14,19) :- #0.987.
link(19,14) :- #0.468.
link(14,26) :- #0.763.
link(26,14) :- #0.66.
link(14,30) :- #0.688.
link(30,14) :- #0.927.
link(14,35) :- #0.881.
link(35,14) :- #0.471.
link(14,46) :- #0.886.
link(46,14) :- #0.794.
link(14,49) :- #0.204.
link(49,14) :- #0.258.
link(14,53) :- #0.475.
link(53,14) :- #0.904.
link(14,58) :- #0.604.
link(58,14) :- #0.495.
link(14,65) :- #0.104.
link(65,14) :- #0.278.
link(14,66) :- #0.015.
link(66,14) :- #0.498.
link(14,68) :- #0.415.
link(68,14) :- #0.174.
link(14,86) :- #0.383.
link(86,14) :- #0.71.
link(14,87) :- #0.875.
link(87,14) :- #0.937.
link(14,98) :- #0.073.
link(98,14) :- #0.974.
link(14,99) :- #0.592.
link(99,14) :- #0.979.
link(14,127) :- #0.733.
link(127,14) :- #0.43.
link(14,130) :- #0.935.
link(130,14) :- #0.78.
link(15,23) :- #0.013.
link(23,15) :- #0.494.
link(15,38) :- #0.753.
link(38,15) :- #0.419.
link(15,42) :- #0.021.
link(42,15) :- #0.039.
link(15,44) :- #0.863.
link(44,15) :- #0.191.
link(15,57) :- #0.146.
link(57,15) :- #0.249.
link(15,98) :- #0.229.
link(98,15) :- #0.113.
link(15,103) :- #0.569.
link(103,15) :- #0.186.
link(15,105) :- #0.83.
link(105,15) :- #0.369.
link(15,114) :- #0.467.
link(114,15) :- #0.482.
link(15,143) :- #0.853.
link(143,15) :- #0.019.
link(16,35) :- #0.704.
link(35,16) :- #0.525.
link(16,58) :- #0.117.
link(58,16) :- #0.669.
link(16,61) :- #0.623.
link(61,16) :- #0.487.
link(16,68) :- #0.822.
link(68,16) :- #0.513.
link(16,74) :- #0.965.
link(74,16) :- #0.481.
link(16,78) :- #0.255.
link(78,16) :- #0.752.
link(16,89) :- #0.726.
link(89,16) :- #0.431.
link(16,94) :- #0.212.
link(94,16) :- #0.101.
link(16,107) :- #0.961.
link(107,16) :- #0.943.
link(16,114) :- #0.843.
link(114,16) :- #0.097.
link(16,117) :- #0.723.
link(117,16) :- #0.843.
link(16,122) :- #0.705.
link(122,16) :- #0.35.
link(16,130) :- #0.083.
link(130,16) :- #0.43.
link(16,131) :- #0.937.
link(131,16) :- #0.534.
link(16,133) :- #0.863.
link(133,16) :- #0.871.
link(16,135) :- #0.158.
link(135,16) :- #0.945.
link(16,142) :- #0.388.
link(142,16) :- #0.259.
link(17,22) :- #0.391.
link(22,17) :- #0.186.
link(17,23) :- #0.477.
link(23,17) :- #0.295.
link(17,39) :- #0.837.
link(39,17) :- #0.093.
link(17,43) :- #0.508.
link(43,17) :- #0.44.
link(17,56) :- #0.706.
link(56,17) :- #0.398.
link(17,61) :- #0.878.
link(61,17) :- #0.133.
link(17,67) :- #0.479.
link(67,17) :- #0.83.
link(17,83) :- #0.335.
link(83,17) :- #0.595.
link(17,85) :- #0.722.
link(85,17) :- #0.955.
link(17,88) :- #0.717.
link(88,17) :- #0.102.
link(17,95) :- #0.894.
link(95,17) :- #0.21.
link(17,99) :- #0.598.
link(99,17) :- #0.93.
link(17,105) :- #0.987.
link(105,17) :- #0.204.
link(17,120) :- #0.513.
link(120,17) :- #0.615.
link(17,135) :- #0.444.
link(135,17) :- #0.719.
link(18,51) :- #0.157.
link(51,18) :- #0.432.
link(18,52) :- #0.729.
link(52,18) :- #0.477.
link(18,65) :- #0.405.
link(65,18) :- #0.998.
link(18,69) :- #0.603.
link(69,18) :- #0.751.
link(18,87) :- #0.012.
link(87,18) :- #0.779.
link(18,91) :- #0.157.
link(91,18) :- #0.549.
link(18,97) :- #0.421.
link(97,18) :- #0.555.
link(18,106) :- #0.746.
link(106,18) :- #0.425.
link(18,109) :- #0.559.
link(109,18) :- #0.101.
link(18,117) :- #0.241.
link(117,18) :- #0.734.
link(18,136) :- #0.634.
link(136,18) :- #0.723.
link(18,141) :- #0.485.
link(141,18) :- #0.553.
link(19,32) :- #0.584.
link(32,19) :- #0.683.
link(19,39) :- #0.214.
link(39,19) :- #0.64.
link(19,42) :- #0.668.
link(42,19) :- #0.024.
link(19,50) :- #0.138.
link(50,19) :- #0.108.
link(19,53) :- #0.858.
link(53,19) :- #0.848.
link(19,59) :- #0.788.
link(59,19) :- #0.502.
link(19,66) :- #0.935.
link(66,19) :- #0.726.
link(19,97) :- #0.387.
link(97,19) :- #0.079.
link(19,101) :- #0.97.
link(101,19) :- #0.811.
link(19,107) :- #0.475.
link(107,19) :- #0.508.
link(19,113) :- #0.808.
link(113,19) :- #0.125.
link(19,116) :- #0.772.
link(116,19) :- #0.269.
link(19,120) :- #0.186.
link(120,19) :- #0.998.
link(19,145) :- #0.466.
link(145,19) :- #0.488.
link(20,34) :- #0.751.
link(34,20) :- #0.158.
link(20,44) :- #0.446.
link(44,20) :- #0.145.
link(20,48) :- #0.746.
link(48,20) :- #0.426.
link(20,50) :- #0.249.
link(50,20) :- #0.913.
link(20,89) :- #0.023.
link(89,20) :- #0.603.
link(20,92) :- #0.517.
link(92,20) :- #0.589.
link(20,99) :- #0.959.
link(99,20) :- #0.018.
link(20,108) :- #0.479.
link(108,20) :- #0.137.
link(20,110) :- #0.183.
link(110,20) :- #0.478.
link(20,111) :- #0.396.
link(111,20) :- #0.037.
link(20,115) :- #0.882.
link(115,20) :- #0.39.
link(20,123) :- #0.707.
link(123,20) :- #0.484.
link(20,142) :- #0.075.
link(142,20) :- #0.362.
link(20,144) :- #0.783.
link(144,20) :- #0.258.
link(21,30) :- #0.152.
link(30,21) :- #0.496.
link(21,37) :- #0.19.
link(37,21) :- #0.812.
link(21,41) :- #0.375.
link(41,21) :- #0.297.
link(21,59) :- #0.34.
link(59,21) :- #0.768.
link(21,82) :- #0.764.
link(82,21) :- #0.703.
link(21,98) :- #0.392.
link(98,21) :- #0.921.
link(21,121) :- #0.03.
link(121,21) :- #0.583.
link(21,123) :- #0.6.
link(123,21) :- #0.665.
link(21,124) :- #0.177.
link(124,21) :- #0.343.
link(21,138) :- #0.769.
link(138,21) :- #0.283.
link(21,142) :- #0.157.
link(142,21) :- #0.279.
link(21,144) :- #0.403.
link(144,21) :- #0.491.
link(22,24) :- #0.194.
link(24,22) :- #0.485.
link(22,31) :- #0.077.
link(31,22) :- #0.322.
link(22,47) :- #0.027.
link(47,22) :- #0.444.
link(22,58) :- #0.991.
link(58,22) :- #0.59.
link(22,61) :- #0.424.
link(61,22) :- #0.727.
link(22,63) :- #0.76.
link(63,22) :- #0.718.
link(22,66) :- #0.8.
link(66,22) :- #0.221.
link(22,69) :- #0.89.
link(69,22) :- #0.304.
link(22,78) :- #0.047.
link(78,22) :- #0.072.
link(22,83) :- #0.943.
link(83,22) :- #0.949.
link(22,114) :- #0.555.
link(114,22) :- #0.642.
link(22,129) :- #0.905.
link(129,22) :- #0.261.
link(22,131) :- #0.76.
link(131,22) :- #0.553.
link(22,139) :- #0.162.
link(139,22) :- #0.626.
link(22,141) :- #0.006.
link(141,22) :- #0.649.
link(23,24) :- #0.863.
link(24,23) :- #0.972.
link(23,28) :- #0.499.
link(28,23) :- #0.127.
link(23,34) :- #0.266.
link(34,23) :- #0.007.
link(23,38) :- #0.99.
link(38,23) :- #0.207.
link(23,40) :- #0.216.
link(40,23) :- #0.913.
link(23,41) :- #0.534.
link(41,23) :- #0.495.
link(23,47) :- #0.838.
link(47,23) :- #0.419.
link(23,53) :- #0.482.
link(53,23) :- #0.519.
link(23,76) :- #0.268.
link(76,23) :- #0.295.
link(23,78) :- #0.015.
link(78,23) :- #0.929.
link(23,105) :- #0.078.
link(105,23) :- #0.248.
link(23,113) :- #0.369.
link(113,23) :- #0.317.
link(23,123) :- #0.575.
link(123,23) :- #0.734.
link(23,129) :- #0.905.
link(129,23) :- #0.895.
link(23,130) :- #0.355.
link(130,23) :- #0.569.
link(23,139) :- #0.732.
link(139,23) :- #0.895.
link(24,82) :- #0.013.
link(82,24) :- #0.156.
link(24,129) :- #0.515.
link(129,24) :- #0.248.
link(24,134) :- #0.51.
link(134,24) :- #0.46.
link(24,140) :- #0.655.
link(140,24) :- #0.094.
link(25,26) :- #0.128.
link(26,25) :- #0.312.
link(25,27) :- #0.514.
link(27,25) :- #0.031.
link(25,32) :- #0.574.
link(32,25) :- #0.52.
link(25,42) :- #0.909.
link(42,25) :- #0.671.
link(25,49) :- #0.636.
link(49,25) :- #0.47.
link(25,52) :- #0.394.
link(52,25) :- #0.471.
link(25,58) :- #0.774.
link(58,25) :- #0.169.
link(25,66) :- #0.961.
link(66,25) :- #0.607.
link(25,73) :- #0.36.
link(73,25) :- #0.973.
link(25,88) :- #0.833.
link(88,25) :- #0.577.
link(25,89) :- #0.569.
link(89,25) :- #0.815.
link(25,101) :- #0.857.
link(101,25) :- #0.714.
link(25,107) :- #0.467.
link(107,25) :- #0.569.
link(25,108) :- #0.327.
link(108,25) :- #0.886.
link(25,109) :- #0.986.
link(109,25) :- #0.115.
link(25,121) :- #0.496.
link(121,25) :- #0.542.
link(25,122) :- #0.604.
link(122,25) :- #0.644.
link(25,130) :- #0.721.
link(130,25) :- #0.251.
link(25,132) :- #0.72.
link(132,25) :- #0.124.
link(25,135) :- #0.691.
link(135,25) :- #0.
link(26,38) :- #0.416.
link(38,26) :- #0.75.
link(26,43) :- #0.029.
link(43,26) :- #0.281.
link(26,53) :- #0.292.
link(53,26) :- #0.316.
link(26,56) :- #0.192.
link(56,26) :- #0.273.
link(26,59) :- #0.966.
link(59,26) :- #0.096.
link(26,64) :- #0.993.
link(64,26) :- #0.968.
link(26,65) :- #0.053.
link(65,26) :- #0.113.
link(26,66) :- #0.548.
link(66,26) :- #0.612.
link(26,76) :- #0.794.
link(76,26) :- #0.011.
link(26,84) :- #0.4.
link(84,26) :- #0.278.
link(26,97) :- #0.004.
link(97,26) :- #0.788.
link(26,98) :- #0.28.
link(98,26) :- #0.307.
link(26,102) :- #0.694.
link(102,26) :- #0.728.
link(26,105) :- #0.06.
link(105,26) :- #0.017.
link(26,123) :- #0.158.
link(123,26) :- #0.345.
link(26,128) :- #0.346.
link(128,26) :- #0.686.
link(26,131) :- #0.802.
link(131,26) :- #0.219.
link(27,53) :- #0.725.
link(53,27) :- #0.047.
link(27,55) :- #0.701.
link(55,27) :- #0.243.
link(27,64) :- #0.277.
link(64,27) :- #0.316.
link(27,67) :- #0.266.
link(67,27) :- #0.245.
link(27,74) :- #0.924.
link(74,27) :- #0.047.
link(27,81) :- #0.273.
link(81,27) :- #0.662.
link(27,83) :- #0.696.
link(83,27) :- #0.647.
link(27,96) :- #0.586.
link(96,27) :- #0.207.
link(27,97) :- #0.865.
link(97,27) :- #0.329.
link(27,98) :- #0.502.
link(98,27) :- #0.321.
link(27,102) :- #0.148.
link(102,27) :- #0.238.
link(27,111) :- #0.699.
link(111,27) :- #0.874.
link(27,135) :- #0.101.
link(135,27) :- #0.907.
link(28,37) :- #0.359.
link(37,28) :- #0.729.
link(28,44) :- #0.298.
link(44,28) :- #0.354.
link(28,56) :- #0.009.
link(56,28) :- #0.577.
link(28,67) :- #0.601.
link(67,28) :- #0.906.
link(28,68) :- #0.966.
link(68,28) :- #0.182.
link(28,72) :- #0.601.
link(72,28) :- #0.164.
link(28,88) :- #0.875.
link(88,28) :- #0.987.
link(28,103) :- #0.252.
link(103,28) :- #0.612.
link(28,121) :- #0.262.
link(121,28) :- #0.685.
link(28,134) :- #0.459.
link(134,28) :- #0.977.
link(28,141) :- #0.515.
link(141,28) :- #0.179.
link(28,144) :- #0.569.
link(144,28) :- #0.955.
link(29,32) :- #0.336.
link(32,29) :- #0.519.
link(29,36) :- #0.786.
link(36,29) :- #0.986.
link(29,42) :- #0.87.
link(42,29) :- #0.267.
link(29,46) :- #0.587.
link(46,29) :- #0.983.
link(29,49) :- #0.268.
link(49,29) :- #0.094.
link(29,78) :- #0.584.
link(78,29) :- #0.721.
link(29,79) :- #0.762.
link(79,29) :- #0.557.
link(29,80) :- #0.46.
link(80,29) :- #0.918.
link(29,84) :- #0.07.
link(84,29) :- #0.308.
link(29,87) :- #0.862.
link(87,29) :- #0.034.
link(29,106) :- #0.591.
link(106,29) :- #0.797.
link(29,111) :- #0.336.
link(111,29) :- #0.737.
link(29,115) :- #0.663.
link(115,29) :- #0.645.
link(29,116) :- #0.754.
link(116,29) :- #0.735.
link(29,127) :- #0.878.
link(127,29) :- #0.836.
link(29,145) :- #0.399.
link(145,29) :- #0.816.
link(30,36) :- #0.875.
link(36,30) :- #0.87.
link(30,38) :- #0.177.
link(38,30) :- #0.157.
link(30,41) :- #0.21.
link(41,30) :- #0.691.
link(30,46) :- #0.841.
link(46,30) :- #0.065.
link(30,58) :- #0.111.
link(58,30) :- #0.269.
link(30,74) :- #0.762.
link(74,30) :- #0.811.
link(30,77) :- #0.523.
link(77,30) :- #0.819.
link(30,85) :- #0.692.
link(85,30) :- #0.169.
link(30,93) :- #0.702.
link(93,30) :- #0.042.
link(30,99) :- #0.056.
link(99,30) :- #0.998.
link(30,106) :- #0.191.
link(106,30) :- #0.154.
link(30,127) :- #0.062.
link(127,30) :- #0.987.
link(31,34) :- #0.934.
link(34,31) :- #0.642.
link(31,46) :- #0.209.
link(46,31) :- #0.712.
link(31,47) :- #0.126.
link(47,31) :- #0.297.
link(31,53) :- #0.37.
link(53,31) :- #0.915.
link(31,57) :- #0.399.
link(57,31) :- #0.551.
link(31,72) :- #0.429.
link(72,31) :- #0.406.
link(31,73) :- #0.9.
link(73,31) :- #0.106.
link(31,81) :- #0.566.
link(81,31) :- #0.011.
link(31,83) :- #0.635.
link(83,31) :- #0.249.
link(31,99) :- #0.532.
link(99,31) :- #0.239.
link(31,103) :- #0.953.
link(103,31) :- #0.816.
link(31,111) :- #0.181.
link(111,31) :- #0.007.
link(31,117) :- #0.99.
link(117,31) :- #0.881.
link(31,118) :- #0.784.
link(118,31) :- #0.233.
link(31,126) :- #0.101.
link(126,31) :- #0.725.
link(31,132) :- #0.273.
link(132,31) :- #0.887.
link(31,136) :- #0.235.
link(136,31) :- #0.453.
link(32,35) :- #0.075.
link(35,32) :- #0.365.
link(32,38) :- #0.892.
link(38,32) :- #0.426.
link(32,61) :- #0.992.
link(61,32) :- #0.586.
link(32,90) :- #0.786.
link(90,32) :- #0.215.
link(32,95) :- #0.193.
link(95,32) :- #0.972.
link(32,98) :- #0.828.
link(98,32) :- #0.573.
link(32,99) :- #0.538.
link(99,32) :- #0.495.
link(32,106) :- #0.265.
link(106,32) :- #0.262.
link(32,110) :- #0.562.
link(110,32) :- #0.059.
link(32,121) :- #0.116.
link(121,32) :- #0.133.
link(32,129) :- #0.741.
link(129,32) :- #0.897.
link(32,141) :- #0.777.
link(141,32) :- #0.269.
link(32,142) :- #0.393.
link(142,32) :- #0.966.
link(33,47) :- #0.421.
link(47,33) :- #0.149.
link(33,51) :- #0.349.
link(51,33) :- #0.139.
link(33,57) :- #0.489.
link(57,33) :- #0.74.
link(33,71) :- #0.593.
link(71,33) :- #0.63.
link(33,81) :- #0.995.
link(81,33) :- #0.097.
link(33,104) :- #0.396.
link(104,33) :- #0.355.
link(33,118) :- #0.019.
link(118,33) :- #0.069.
link(33,121) :- #0.158.
link(121,33) :- #0.156.
link(33,124) :- #0.738.
link(124,33) :- #0.024.
link(33,129) :- #0.697.
link(129,33) :- #0.798.
link(34,72) :- #0.694.
link(72,34) :- #0.242.
link(34,75) :- #0.019.
link(75,34) :- #0.683.
link(34,89) :- #0.923.
link(89,34) :- #0.795.
link(34,94) :- #0.57.
link(94,34) :- #0.417.
link(34,96) :- #0.966.
link(96,34) :- #0.008.
link(34,101) :- #0.457.
link(101,34) :- #0.604.
link(34,104) :- #0.815.
link(104,34) :- #0.922.
link(34,118) :- #0.43.
link(118,34) :- #0.104.
link(34,135) :- #0.122.
link(135,34) :- #0.922.
link(34,139) :- #0.314.
link(139,34) :- #0.064.
link(34,141) :- #0.939.
link(141,34) :- #0.677.
link(35,42) :- #0.737.
link(42,35) :- #0.184.
link(35,57) :- #0.974.
link(57,35) :- #0.733.
link(35,63) :- #0.131.
link(63,35) :- #0.239.
link(35,64) :- #0.492.
link(64,35) :- #0.381.
link(35,67) :- #0.125.
link(67,35) :- #0.095.
link(35,69) :- #0.393.
link(69,35) :- #0.213.
link(35,86) :- #0.307.
link(86,35) :- #0.356.
link(35,120) :- #0.304.
link(120,35) :- #0.055.
link(35,126) :- #0.22.
link(126,35) :- #0.873.
link(36,48) :- #0.396.
link(48,36) :- #0.69.
link(36,50) :- #0.079.
link(50,36) :- #0.57.
link(36,61) :- #0.772.
link(61,36) :- #0.875.
link(36,75) :- #0.788.
link(75,36) :- #0.023.
link(36,80) :- #0.973.
link(80,36) :- #0.197.
link(36,84) :- #0.883.
link(84,36) :- #0.796.
link(36,101) :- #0.4.
link(101,36) :- #0.235.
link(36,117) :- #0.363.
link(117,36) :- #0.59.
link(36,120) :- #0.023.
link(120,36) :- #0.385.
link(36,126) :- #0.195.
link(126,36) :- #0.338.
link(37,43) :- #0.942.
link(43,37) :- #0.521.
link(37,58) :- #0.432.
link(58,37) :- #0.748.
link(37,64) :- #0.553.
link(64,37) :- #0.086.
link(37,71) :- #0.519.
link(71,37) :- #0.709.
link(37,91) :- #0.634.
link(91,37) :- #0.147.
link(37,107) :- #0.591.
link(107,37) :- #0.047.
link(37,114) :- #0.781.
link(114,37) :- #0.679.
link(37,120) :- #0.533.
link(120,37) :- #0.311.
link(37,140) :- #0.714.
link(140,37) :- #0.753.
link(38,41) :- #0.834.
link(41,38) :- #0.509.
link(38,54) :- #0.885.
link(54,38) :- #0.23.
link(38,73) :- #0.775.
link(73,38) :- #0.793.
link(38,75) :- #0.2.
link(75,38) :- #0.971.
link(38,87) :- #0.253.
link(87,38) :- #0.146.
link(38,88) :- #0.931.
link(88,38) :- #0.693.
link(38,100) :- #0.454.
link(100,38) :- #0.716.
link(38,101) :- #0.915.
link(101,38) :- #0.592.
link(38,108) :- #0.02.
link(108,38) :- #0.106.
link(38,109) :- #0.946.
link(109,38) :- #0.362.
link(38,119) :- #0.087.
link(119,38) :- #0.873.
link(38,121) :- #0.883.
link(121,38) :- #0.518.
link(38,124) :- #0.444.
link(124,38) :- #0.577.
link(38,127) :- #0.197.
link(127,38) :- #0.12.
link(39,40) :- #0.731.
link(40,39) :- #0.014.
link(39,49) :- #0.487.
link(49,39) :- #0.389.
link(39,50) :- #0.278.
link(50,39) :- #0.777.
link(39,62) :- #0.47.
link(62,39) :- #0.004.
link(39,78) :- #0.492.
link(78,39) :- #0.949.
link(39,81) :- #0.268.
link(81,39) :- #0.369.
link(39,89) :- #0.227.
link(89,39) :- #0.858.
link(39,95) :- #0.556.
link(95,39) :- #0.032.
link(39,107) :- #0.856.
link(107,39) :- #0.012.
link(39,113) :- #0.82.
link(113,39) :- #0.172.
link(39,130) :- #0.756.
link(130,39) :- #0.304.
link(39,133) :- #0.219.
link(133,39) :- #0.249.
link(39,138) :- #0.142.
link(138,39) :- #0.659.
link(40,50) :- #0.014.
link(50,40) :- #0.026.
link(40,55) :- #0.927.
link(55,40) :- #0.458.
link(40,64) :- #0.62.
link(64,40) :- #0.483.
link(40,65) :- #0.033.
link(65,40) :- #0.503.
link(40,69) :- #0.697.
link(69,40) :- #0.976.
link(40,79) :- #0.933.
link(79,40) :- #0.139.
link(40,103) :- #0.547.
link(103,40) :- #0.327.
link(40,104) :- #0.712.
link(104,40) :- #0.484.
link(40,112) :- #0.092.
link(112,40) :- #0.575.
link(40,140) :- #0.427.
link(140,40) :- #0.926.
link(40,145) :- #0.846.
link(145,40) :- #0.481.
link(41,61) :- #0.601.
link(61,41) :- #0.938.
link(41,66) :- #0.352.
link(66,41) :- #0.781.
link(41,73) :- #0.532.
link(73,41) :- #0.572.
link(41,87) :- #0.105.
link(87,41) :- #0.686.
link(41,113) :- #0.084.
link(113,41) :- #0.305.
link(41,116) :- #0.113.
link(116,41) :- #0.619.
link(41,117) :- #0.634.
link(117,41) :- #0.181.
link(41,125) :- #0.009.
link(125,41) :- #0.145.
link(42,53) :- #0.874.
link(53,42) :- #0.833.
link(42,89) :- #0.425.
link(89,42) :- #0.943.
link(42,93) :- #0.656.
link(93,42) :- #0.247.
link(42,102) :- #0.762.
link(102,42) :- #0.495.
link(42,113) :- #0.898.
link(113,42) :- #0.162.
link(42,133) :- #0.16.
link(133,42) :- #0.49.
link(43,79) :- #0.559.
link(79,43) :- #0.376.
link(43,96) :- #0.647.
link(96,43) :- #0.113.
link(43,126) :- #0.629.
link(126,43) :- #0.893.
link(43,137) :- #0.827.
link(137,43) :- #0.238.
link(43,139) :- #0.217.
link(139,43) :- #0.54.
link(43,142) :- #0.071.
link(142,43) :- #0.78.
link(43,145) :- #0.855.
link(145,43) :- #0.292.
link(44,49) :- #0.759.
link(49,44) :- #0.977.
link(44,50) :- #0.665.
link(50,44) :- #0.993.
link(44,63) :- #0.452.
link(63,44) :- #0.51.
link(44,98) :- #0.74.
link(98,44) :- #0.072.
link(44,117) :- #0.792.
link(117,44) :- #0.915.
link(44,129) :- #0.942.
link(129,44) :- #0.594.
link(45,64) :- #0.878.
link(64,45) :- #0.629.
link(45,86) :- #0.867.
link(86,45) :- #0.828.
link(45,103) :- #0.884.
link(103,45) :- #0.096.
link(45,121) :- #0.418.
link(121,45) :- #0.08.
link(45,124) :- #0.795.
link(124,45) :- #0.064.
link(45,128) :- #0.69.
link(128,45) :- #0.038.
link(45,129) :- #0.618.
link(129,45) :- #0.362.
link(45,134) :- #0.515.
link(134,45) :- #0.053.
link(46,48) :- #0.88.
link(48,46) :- #0.152.
link(46,61) :- #0.425.
link(61,46) :- #0.72.
link(46,65) :- #0.138.
link(65,46) :- #0.635.
link(46,67) :- #0.224.
link(67,46) :- #0.793.
link(46,70) :- #0.851.
link(70,46) :- #0.155.
link(46,73) :- #0.958.
link(73,46) :- #0.777.
link(46,79) :- #0.896.
link(79,46) :- #0.288.
link(46,88) :- #0.659.
link(88,46) :- #0.764.
link(46,108) :- #0.243.
link(108,46) :- #0.154.
link(46,118) :- #0.808.
link(118,46) :- #0.757.
link(46,127) :- #0.518.
link(127,46) :- #0.497.
link(46,128) :- #0.167.
link(128,46) :- #0.647.
link(46,130) :- #0.029.
link(130,46) :- #0.892.
link(46,139) :- #0.499.
link(139,46) :- #0.297.
link(47,54) :- #0.21.
link(54,47) :- #0.53.
link(47,60) :- #0.201.
link(60,47) :- #0.992.
link(47,105) :- #0.586.
link(105,47) :- #0.688.
link(47,116) :- #0.974.
link(116,47) :- #0.76.
link(47,124) :- #0.384.
link(124,47) :- #0.075.
link(47,135) :- #0.226.
link(135,47) :- #0.147.
link(47,143) :- #0.664.
link(143,47) :- #0.518.
link(48,49) :- #0.835.
link(49,48) :- #0.66.
link(48,59) :- #0.61.
link(59,48) :- #0.884.
link(48,78) :- #0.427.
link(78,48) :- #0.939.
link(48,86) :- #0.934.
link(86,48) :- #0.954.
link(48,101) :- #0.267.
link(101,48) :- #0.32.
link(48,113) :- #0.56.
link(113,48) :- #0.185.
link(48,114) :- #0.9.
link(114,48) :- #0.695.
link(48,129) :- #0.184.
link(129,48) :- #0.715.
link(48,143) :- #0.467.
link(143,48) :- #0.813.
link(48,144) :- #0.363.
link(144,48) :- #0.57.
link(49,79) :- #0.27.
link(79,49) :- #0.587.
link(49,81) :- #0.455.
link(81,49) :- #0.213.
link(49,94) :- #0.293.
link(94,49) :- #0.66.
link(49,112) :- #0.669.
link(112,49) :- #0.29.
link(49,114) :- #0.422.
link(114,49) :- #0.946.
link(49,124) :- #0.195.
link(124,49) :- #0.623.
link(49,125) :- #0.617.
link(125,49) :- #0.946.
link(49,132) :- #0.743.
link(132,49) :- #0.219.
link(50,51) :- #0.143.
link(51,50) :- #0.162.
link(50,58) :- #0.077.
link(58,50) :- #0.679.
link(50,60) :- #0.58.
link(60,50) :- #0.472.
link(50,63) :- #0.146.
link(63,50) :- #0.031.
link(50,64) :- #0.966.
link(64,50) :- #0.01.
link(50,66) :- #0.204.
link(66,50) :- #0.641.
link(50,79) :- #0.522.
link(79,50) :- #0.336.
link(50,83) :- #0.899.
link(83,50) :- #0.515.
link(50,92) :- #0.462.
link(92,50) :- #0.751.
link(50,97) :- #0.307.
link(97,50) :- #0.562.
link(50,110) :- #0.885.
link(110,50) :- #0.834.
link(50,127) :- #0.525.
link(127,50) :- #0.321.
link(50,130) :- #0.554.
link(130,50) :- #0.18.
link(51,57) :- #0.936.
link(57,51) :- #0.331.
link(51,65) :- #0.785.
link(65,51) :- #0.921.
link(51,66) :- #0.06.
link(66,51) :- #0.859.
link(51,85) :- #0.151.
link(85,51) :- #0.85.
link(51,125) :- #0.841.
link(125,51) :- #0.713.
link(52,81) :- #0.268.
link(81,52) :- #0.547.
link(52,101) :- #0.931.
link(101,52) :- #0.493.
link(52,106) :- #0.562.
link(106,52) :- #0.069.
link(52,108) :- #0.441.
link(108,52) :- #0.978.
link(52,115) :- #0.504.
link(115,52) :- #0.054.
link(52,122) :- #0.589.
link(122,52) :- #0.695.
link(52,125) :- #0.698.
link(125,52) :- #0.9.
link(52,129) :- #0.79.
link(129,52) :- #0.566.
link(52,143) :- #0.278.
link(143,52) :- #0.497.
link(53,68) :- #0.906.
link(68,53) :- #0.27.
link(53,72) :- #0.017.
link(72,53) :- #0.346.
link(53,85) :- #0.463.
link(85,53) :- #0.639.
link(53,95) :- #0.183.
link(95,53) :- #0.174.
link(53,107) :- #0.675.
link(107,53) :- #0.374.
link(53,130) :- #0.551.
link(130,53) :- #0.061.
link(53,138) :- #0.611.
link(138,53) :- #0.303.
link(53,145) :- #0.889.
link(145,53) :- #0.877.
link(54,75) :- #0.957.
link(75,54) :- #0.553.
link(54,80) :- #0.102.
link(80,54) :- #0.454.
link(54,84) :- #0.763.
link(84,54) :- #0.733.
link(54,93) :- #0.65.
link(93,54) :- #0.367.
link(54,95) :- #0.661.
link(95,54) :- #0.68.
link(54,99) :- #0.899.
link(99,54) :- #0.795.
link(54,113) :- #0.072.
link(113,54) :- #0.451.
link(54,119) :- #0.035.
link(119,54) :- #0.385.
link(54,128) :- #0.49.
link(128,54) :- #0.281.
link(55,60) :- #0.551.
link(60,55) :- #0.989.
link(55,65) :- #0.373.
link(65,55) :- #0.501.
link(55,69) :- #0.479.
link(69,55) :- #0.028.
link(55,79) :- #0.298.
link(79,55) :- #0.4.
link(55,83) :- #0.162.
link(83,55) :- #0.018.
link(55,85) :- #0.832.
link(85,55) :- #0.346.
link(55,106) :- #0.847.
link(106,55) :- #0.725.
link(55,111) :- #0.006.
link(111,55) :- #0.871.
link(55,119) :- #0.851.
link(119,55) :- #0.642.
link(55,120) :- #0.96.
link(120,55) :- #0.892.
link(55,129) :- #0.653.
link(129,55) :- #0.107.
link(56,58) :- #0.422.
link(58,56) :- #0.571.
link(56,61) :- #0.706.
link(61,56) :- #0.871.
link(56,86) :- #0.468.
link(86,56) :- #0.145.
link(56,116) :- #0.986.
link(116,56) :- #0.03.
link(56,120) :- #0.715.
link(120,56) :- #0.993.
link(56,125) :- #0.442.
link(125,56) :- #0.864.
link(56,139) :- #0.786.
link(139,56) :- #0.695.
link(57,64) :- #0.452.
link(64,57) :- #0.663.
link(57,65) :- #0.85.
link(65,57) :- #0.281.
link(57,72) :- #0.622.
link(72,57) :- #0.384.
link(57,74) :- #0.035.
link(74,57) :- #0.346.
link(57,84) :- #0.652.
link(84,57) :- #0.035.
link(57,88) :- #0.954.
link(88,57) :- #0.669.
link(57,115) :- #0.325.
link(115,57) :- #0.668.
link(57,120) :- #0.95.
link(120,57) :- #0.988.
link(57,123) :- #0.809.
link(123,57) :- #0.687.
link(58,80) :- #0.488.
link(80,58) :- #0.14.
link(58,97) :- #0.588.
link(97,58) :- #0.581.
link(58,103) :- #0.486.
link(103,58) :- #0.992.
link(58,115) :- #0.155.
link(115,58) :- #0.108.
link(58,132) :- #0.061.
link(132,58) :- #0.975.
link(59,65) :- #0.757.
link(65,59) :- #0.229.
link(59,70) :- #0.883.
link(70,59) :- #0.215.
link(59,79) :- #0.619.
link(79,59) :- #0.431.
link(59,104) :- #0.941.
link(104,59) :- #0.826.
link(59,144) :- #0.135.
link(144,59) :- #0.793.
link(60,62) :- #0.534.
link(62,60) :- #0.012.
link(60,74) :- #0.148.
link(74,60) :- #0.494.
link(60,83) :- #0.598.
link(83,60) :- #0.828.
link(60,84) :- #0.971.
link(84,60) :- #0.178.
link(60,91) :- #0.29.
link(91,60) :- #0.456.
link(60,95) :- #0.743.
link(95,60) :- #0.704.
link(60,101) :- #0.133.
link(101,60) :- #0.311.
link(60,111) :- #0.855.
link(111,60) :- #0.24.
link(60,122) :- #0.797.
link(122,60) :- #0.379.
link(60,133) :- #0.897.
link(133,60) :- #0.346.
link(61,65) :- #0.06.
link(65,61) :- #0.622.
link(61,68) :- #0.081.
link(68,61) :- #0.775.
link(61,74) :- #0.008.
link(74,61) :- #0.711.
link(61,76) :- #0.69.
link(76,61) :- #0.864.
link(61,79) :- #0.709.
link(79,61) :- #0.654.
link(61,91) :- #0.364.
link(91,61) :- #0.135.
link(61,92) :- #0.296.
link(92,61) :- #0.037.
link(61,102) :- #0.189.
link(102,61) :- #0.419.
link(61,119) :- #0.478.
link(119,61) :- #0.715.
link(61,135) :- #0.606.
link(135,61) :- #0.348.
link(61,145) :- #0.481.
link(145,61) :- #0.267.
link(62,67) :- #0.219.
link(67,62) :- #0.478.
link(62,83) :- #0.246.
link(83,62) :- #0.498.
link(62,116) :- #0.055.
link(116,62) :- #0.875.
link(62,131) :- #0.643.
link(131,62) :- #0.779.
link(62,134) :- #0.748.
link(134,62) :- #0.503.
link(62,137) :- #0.55.
link(137,62) :- #0.027.
link(62,142) :- #0.289.
link(142,62) :- #0.673.
link(63,74) :- #0.81.
link(74,63) :- #0.451.
link(63,87) :- #0.354.
link(87,63) :- #0.869.
link(63,97) :- #0.525.
link(97,63) :- #0.637.
link(63,101) :- #0.964.
link(101,63) :- #0.089.
link(63,104) :- #0.5.
link(104,63) :- #0.525.
link(63,111) :- #0.275.
link(111,63) :- #0.954.
link(63,112) :- #0.192.
link(112,63) :- #0.232.
link(63,120) :- #0.132.
link(120,63) :- #0.194.
link(63,129) :- #0.582.
link(129,63) :- #0.353.
link(64,69) :- #0.532.
link(69,64) :- #0.029.
link(64,80) :- #0.407.
link(80,64) :- #0.287.
link(64,96) :- #0.27.
link(96,64) :- #0.574.
link(64,122) :- #0.153.
link(122,64) :- #0.689.
link(64,135) :- #0.47.
link(135,64) :- #0.915.
link(64,139) :- #0.671.
link(139,64) :- #0.332.
link(65,68) :- #0.829.
link(68,65) :- #0.257.
link(65,78) :- #0.943.
link(78,65) :- #0.325.
link(65,82) :- #0.9.
link(82,65) :- #0.616.
link(65,85) :- #0.059.
link(85,65) :- #0.945.
link(65,92) :- #0.265.
link(92,65) :- #0.421.
link(65,96) :- #0.255.
link(96,65) :- #0.576.
link(65,110) :- #0.647.
link(110,65) :- #0.081.
link(65,116) :- #0.691.
link(116,65) :- #0.582.
link(65,120) :- #0.017.
link(120,65) :- #0.753.
link(65,128) :- #0.614.
link(128,65) :- #0.316.
link(65,129) :- #0.976.
link(129,65) :- #0.004.
link(65,130) :- #0.57.
link(130,65) :- #0.959.
link(65,134) :- #0.809.
link(134,65) :- #0.846.
link(65,142) :- #0.102.
link(142,65) :- #0.996.
link(66,77) :- #0.817.
link(77,66) :- #0.101.
link(66,78) :- #0.093.
link(78,66) :- #0.045.
link(66,105) :- #0.025.
link(105,66) :- #0.837.
link(67,82) :- #0.812.
link(82,67) :- #0.385.
link(67,117) :- #0.169.
link(117,67) :- #0.623.
link(67,128) :- #0.21.
link(128,67) :- #0.185.
link(67,130) :- #0.599.
link(130,67) :- #0.528.
link(67,136) :- #0.002.
link(136,67) :- #0.545.
link(68,73) :- #0.336.
link(73,68) :- #0.958.
link(68,78) :- #0.063.
link(78,68) :- #0.267.
link(68,86) :- #0.046.
link(86,68) :- #0.643.
link(68,97) :- #0.277.
link(97,68) :- #0.919.
link(68,102) :- #0.906.
link(102,68) :- #0.039.
link(68,113) :- #0.865.
link(113,68) :- #0.372.
link(68,114) :- #0.789.
link(114,68) :- #0.477.
link(68,120) :- #0.582.
link(120,68) :- #0.24.
link(68,127) :- #0.498.
link(127,68) :- #0.945.
link(68,136) :- #0.981.
link(136,68) :- #0.831.
link(68,140) :- #0.903.
link(140,68) :- #0.132.
link(69,72) :- #0.875.
link(72,69) :- #0.417.
link(69,125) :- #0.336.
link(125,69) :- #0.523.
link(69,126) :- #0.403.
link(126,69) :- #0.139.
link(69,128) :- #0.763.
link(128,69) :- #0.732.
link(69,144) :- #0.098.
link(144,69) :- #0.445.
link(70,72) :- #0.669.
link(72,70) :- #0.06.
link(70,80) :- #0.315.
link(80,70) :- #0.797.
link(70,81) :- #0.845.
link(81,70) :- #0.509.
link(70,85) :- #0.461.
link(85,70) :- #0.864.
link(70,94) :- #0.87.
link(94,70) :- #0.06.
link(70,110) :- #0.009.
link(110,70) :- #0.685.
link(70,115) :- #0.117.
link(115,70) :- #0.399.
link(70,116) :- #0.109.
link(116,70) :- #0.291.
link(70,118) :- #0.848.
link(118,70) :- #0.938.
link(70,121) :- #0.207.
link(121,70) :- #0.274.
link(71,74) :- #0.035.
link(74,71) :- #0.846.
link(71,81) :- #0.99.
link(81,71) :- #0.049.
link(71,86) :- #0.026.
link(86,71) :- #0.031.
link(71,99) :- #0.741.
link(99,71) :- #0.6.
link(71,107) :- #0.141.
link(107,71) :- #0.843.
link(71,110) :- #0.061.
link(110,71) :- #0.018.
link(71,116) :- #0.737.
link(116,71) :- #0.65.
link(71,130) :- #0.632.
link(130,71) :- #0.634.
link(71,139) :- #0.67.
link(139,71) :- #0.84.
link(72,73) :- #0.053.
link(73,72) :- #0.36.
link(72,76) :- #0.332.
link(76,72) :- #0.037.
link(72,97) :- #0.834.
link(97,72) :- #0.424.
link(72,117) :- #0.364.
link(117,72) :- #0.052.
link(72,120) :- #0.649.
link(120,72) :- #0.941.
link(72,124) :- #0.715.
link(124,72) :- #0.986.
link(72,127) :- #0.292.
link(127,72) :- #0.12.
link(72,130) :- #0.9.
link(130,72) :- #0.857.
link(72,132) :- #0.317.
link(132,72) :- #0.897.
link(73,77) :- #0.263.
link(77,73) :- #0.594.
link(73,86) :- #0.527.
link(86,73) :- #0.804.
link(73,106) :- #0.956.
link(106,73) :- #0.458.
link(73,115) :- #0.004.
link(115,73) :- #0.971.
link(73,119) :- #0.311.
link(119,73) :- #0.053.
link(73,122) :- #0.628.
link(122,73) :- #0.85.
link(73,123) :- #0.969.
link(123,73) :- #0.669.
link(74,75) :- #0.559.
link(75,74) :- #0.964.
link(74,77) :- #0.467.
link(77,74) :- #0.664.
link(74,83) :- #0.423.
link(83,74) :- #0.409.
link(74,100) :- #0.034.
link(100,74) :- #0.761.
link(74,109) :- #0.072.
link(109,74) :- #0.898.
link(74,122) :- #0.04.
link(122,74) :- #0.289.
link(74,123) :- #0.591.
link(123,74) :- #0.479.
link(75,81) :- #0.269.
link(81,75) :- #0.551.
link(75,113) :- #0.269.
link(113,75) :- #0.24.
link(75,139) :- #0.747.
link(139,75) :- #0.243.
link(75,144) :- #0.651.
link(144,75) :- #0.961.
link(76,77) :- #0.18.
link(77,76) :- #0.527.
link(76,79) :- #0.737.
link(79,76) :- #0.86.
link(76,86) :- #0.725.
link(86,76) :- #0.256.
link(76,113) :- #0.088.
link(113,76) :- #0.01.
link(77,88) :- #0.211.
link(88,77) :- #0.649.
link(77,90) :- #0.012.
link(90,77) :- #0.223.
link(77,103) :- #0.553.
link(103,77) :- #0.494.
link(77,104) :- #0.366.
link(104,77) :- #0.016.
link(77,112) :- #0.723.
link(112,77) :- #0.61.
link(77,121) :- #0.535.
link(121,77) :- #0.698.
link(77,125) :- #0.656.
link(125,77) :- #0.782.
link(77,126) :- #0.212.
link(126,77) :- #0.515.
link(77,128) :- #0.107.
link(128,77) :- #0.77.
link(78,91) :- #0.015.
link(91,78) :- #0.737.
link(78,93) :- #0.969.
link(93,78) :- #0.124.
link(78,98) :- #0.331.
link(98,78) :- #0.384.
link(78,105) :- #0.575.
link(105,78) :- #0.668.
link(78,110) :- #0.047.
link(110,78) :- #0.144.
link(78,118) :- #0.21.
link(118,78) :- #0.324.
link(78,123) :- #0.695.
link(123,78) :- #0.777.
link(78,137) :- #0.483.
link(137,78) :- #0.013.
link(78,142) :- #0.689.
link(142,78) :- #0.588.
link(78,144) :- #0.429.
link(144,78) :- #0.005.
link(79,95) :- #0.625.
link(95,79) :- #0.296.
link(79,111) :- #0.682.
link(111,79) :- #0.322.
link(79,134) :- #0.284.
link(134,79) :- #0.02.
link(79,139) :- #0.787.
link(139,79) :- #0.642.
link(80,86) :- #0.178.
link(86,80) :- #0.092.
link(80,95) :- #0.492.
link(95,80) :- #0.9.
link(80,99) :- #0.031.
link(99,80) :- #0.674.
link(80,118) :- #0.653.
link(118,80) :- #0.232.
link(80,145) :- #0.727.
link(145,80) :- #0.717.
link(81,83) :- #0.389.
link(83,81) :- #0.733.
link(81,102) :- #0.66.
link(102,81) :- #0.897.
link(81,104) :- #0.184.
link(104,81) :- #0.124.
link(81,137) :- #0.247.
link(137,81) :- #0.745.
link(81,139) :- #0.365.
link(139,81) :- #0.908.
link(81,144) :- #0.127.
link(144,81) :- #0.119.
link(82,94) :- #0.544.
link(94,82) :- #0.118.
link(82,101) :- #0.512.
link(101,82) :- #0.43.
link(82,110) :- #0.264.
link(110,82) :- #0.639.
link(82,119) :- #0.388.
link(119,82) :- #0.915.
link(82,139) :- #0.758.
link(139,82) :- #0.37.
link(82,143) :- #0.325.
link(143,82) :- #0.91.
link(83,105) :- #0.061.
link(105,83) :- #0.582.
link(83,125) :- #0.203.
link(125,83) :- #0.25.
link(84,100) :- #0.03.
link(100,84) :- #0.828.
link(84,101) :- #0.913.
link(101,84) :- #0.754.
link(84,118) :- #0.192.
link(118,84) :- #0.134.
link(84,144) :- #0.365.
link(144,84) :- #0.677.
link(85,91) :- #0.006.
link(91,85) :- #0.876.
link(85,92) :- #0.862.
link(92,85) :- #0.985.
link(85,108) :- #0.562.
link(108,85) :- #0.61.
link(85,127) :- #0.938.
link(127,85) :- #0.475.
link(86,88) :- #0.09.
link(88,86) :- #0.642.
link(86,91) :- #0.282.
link(91,86) :- #0.049.
link(86,106) :- #0.776.
link(106,86) :- #0.717.
link(86,109) :- #0.895.
link(109,86) :- #0.447.
link(86,122) :- #0.411.
link(122,86) :- #0.925.
link(86,130) :- #0.435.
link(130,86) :- #0.6.
link(86,134) :- #0.466.
link(134,86) :- #0.553.
link(86,137) :- #0.987.
link(137,86) :- #0.394.
link(86,141) :- #0.452.
link(141,86) :- #0.051.
link(87,95) :- #0.712.
link(95,87) :- #0.365.
link(87,100) :- #0.359.
link(100,87) :- #0.419.
link(87,104) :- #0.825.
link(104,87) :- #0.058.
link(87,108) :- #0.678.
link(108,87) :- #0.014.
link(87,118) :- #0.67.
link(118,87) :- #0.823.
link(87,125) :- #0.819.
link(125,87) :- #0.114.
link(87,144) :- #0.93.
link(144,87) :- #0.688.
link(88,94) :- #0.708.
link(94,88) :- #0.177.
link(88,112) :- #0.839.
link(112,88) :- #0.884.
link(88,117) :- #0.214.
link(117,88) :- #0.01.
link(88,118) :- #0.918.
link(118,88) :- #0.242.
link(88,122) :- #0.722.
link(122,88) :- #0.438.
link(88,126) :- #0.118.
link(126,88) :- #0.297.
link(89,93) :- #0.359.
link(93,89) :- #0.119.
link(89,94) :- #0.106.
link(94,89) :- #0.623.
link(89,97) :- #0.823.
link(97,89) :- #0.223.
link(89,100) :- #0.899.
link(100,89) :- #0.013.
link(89,101) :- #0.693.
link(101,89) :- #0.603.
link(89,102) :- #0.563.
link(102,89) :- #0.32.
link(89,120) :- #0.011.
link(120,89) :- #0.863.
link(89,142) :- #0.495.
link(142,89) :- #0.333.
link(90,96) :- #0.592.
link(96,90) :- #0.615.
link(90,97) :- #0.021.
link(97,90) :- #0.223.
link(90,142) :- #0.285.
link(142,90) :- #0.944.
link(90,143) :- #0.055.
link(143,90) :- #0.275.
link(90,144) :- #0.404.
link(144,90) :- #0.168.
link(91,104) :- #0.139.
link(104,91) :- #0.441.
link(91,107) :- #0.14.
link(107,91) :- #0.985.
link(91,121) :- #0.916.
link(121,91) :- #0.189.
link(91,135) :- #0.386.
link(135,91) :- #0.752.
link(91,138) :- #0.314.
link(138,91) :- #0.429.
link(91,139) :- #0.379.
link(139,91) :- #0.342.
link(92,96) :- #0.263.
link(96,92) :- #0.369.
link(92,102) :- #0.697.
link(102,92) :- #0.753.
link(92,105) :- #0.619.
link(105,92) :- #0.805.
link(92,108) :- #0.744.
link(108,92) :- #0.637.
link(92,115) :- #0.025.
link(115,92) :- #0.061.
link(92,121) :- #0.998.
link(121,92) :- #0.35.
link(92,130) :- #0.461.
link(130,92) :- #0.821.
link(92,138) :- #0.328.
link(138,92) :- #0.069.
link(93,115) :- #0.202.
link(115,93) :- #0.023.
link(93,121) :- #0.029.
link(121,93) :- #0.439.
link(93,130) :- #0.249.
link(130,93) :- #0.578.
link(93,134) :- #0.114.
link(134,93) :- #0.925.
link(93,137) :- #0.162.
link(137,93) :- #0.529.
link(94,99) :- #0.715.
link(99,94) :- #0.319.
link(94,105) :- #0.697.
link(105,94) :- #0.703.
link(94,132) :- #0.286.
link(132,94) :- #0.266.
link(95,98) :- #0.031.
link(98,95) :- #0.53.
link(95,129) :- #0.99.
link(129,95) :- #0.326.
link(95,140) :- #0.383.
link(140,95) :- #0.423.
link(96,99) :- #0.124.
link(99,96) :- #0.251.
link(96,106) :- #0.968.
link(106,96) :- #0.462.
link(96,112) :- #0.535.
link(112,96) :- #0.335.
link(96,126) :- #0.847.
link(126,96) :- #0.633.
link(96,130) :- #0.421.
link(130,96) :- #0.795.
link(96,132) :- #0.997.
link(132,96) :- #0.09.
link(96,133) :- #0.056.
link(133,96) :- #0.068.
link(96,135) :- #0.804.
link(135,96) :- #0.852.
link(96,141) :- #0.344.
link(141,96) :- #0.314.
link(96,142) :- #0.064.
link(142,96) :- #0.634.
link(96,144) :- #0.565.
link(144,96) :- #0.439.
link(97,100) :- #0.033.
link(100,97) :- #0.699.
link(97,102) :- #0.58.
link(102,97) :- #0.095.
link(97,115) :- #0.162.
link(115,97) :- #0.331.
link(97,116) :- #0.362.
link(116,97) :- #0.761.
link(97,117) :- #0.112.
link(117,97) :- #0.829.
link(97,118) :- #0.438.
link(118,97) :- #0.447.
link(97,121) :- #0.701.
link(121,97) :- #0.567.
link(98,141) :- #0.06.
link(141,98) :- #0.469.
link(99,105) :- #0.452.
link(105,99) :- #0.13.
link(99,114) :- #0.267.
link(114,99) :- #0.146.
link(99,135) :- #0.764.
link(135,99) :- #0.651.
link(99,142) :- #0.051.
link(142,99) :- #0.204.
link(100,116) :- #0.016.
link(116,100) :- #0.323.
link(100,125) :- #0.225.
link(125,100) :- #0.872.
link(100,131) :- #0.535.
link(131,100) :- #0.34.
link(100,132) :- #0.273.
link(132,100) :- #0.471.
link(101,130) :- #0.701.
link(130,101) :- #0.025.
link(101,145) :- #0.932.
link(145,101) :- #0.235.
link(102,108) :- #0.995.
link(108,102) :- #0.25.
link(102,109) :- #0.986.
link(109,102) :- #0.826.
link(102,115) :- #0.609.
link(115,102) :- #0.751.
link(103,107) :- #0.004.
link(107,103) :- #0.74.
link(103,108) :- #0.902.
link(108,103) :- #0.371.
link(103,129) :- #0.554.
link(129,103) :- #0.526.
link(103,140) :- #0.336.
link(140,103) :- #0.306.
link(104,111) :- #0.804.
link(111,104) :- #0.53.
link(104,127) :- #0.2.
link(127,104) :- #0.984.
link(105,113) :- #0.899.
link(113,105) :- #0.815.
link(105,114) :- #0.959.
link(114,105) :- #0.504.
link(105,117) :- #0.011.
link(117,105) :- #0.029.
link(105,133) :- #0.261.
link(133,105) :- #0.443.
link(105,135) :- #0.367.
link(135,105) :- #0.624.
link(105,143) :- #0.638.
link(143,105) :- #0.175.
link(105,145) :- #0.751.
link(145,105) :- #0.66.
link(106,111) :- #0.772.
link(111,106) :- #0.42.
link(106,122) :- #0.258.
link(122,106) :- #0.222.
link(106,123) :- #0.593.
link(123,106) :- #0.986.
link(106,127) :- #0.125.
link(127,106) :- #0.679.
link(106,135) :- #0.675.
link(135,106) :- #0.442.
link(106,141) :- #0.143.
link(141,106) :- #0.52.
link(107,108) :- #0.776.
link(108,107) :- #0.665.
link(107,134) :- #0.917.
link(134,107) :- #0.781.
link(108,127) :- #0.268.
link(127,108) :- #0.72.
link(108,128) :- #0.408.
link(128,108) :- #0.099.
link(109,110) :- #0.714.
link(110,109) :- #0.877.
link(109,111) :- #0.176.
link(111,109) :- #0.528.
link(109,116) :- #0.501.
link(116,109) :- #0.607.
link(109,117) :- #0.165.
link(117,109) :- #0.709.
link(109,138) :- #0.85.
link(138,109) :- #0.095.
link(109,140) :- #0.114.
link(140,109) :- #0.862.
link(109,141) :- #0.51.
link(141,109) :- #0.233.
link(110,111) :- #0.794.
link(111,110) :- #0.93.
link(110,140) :- #0.23.
link(140,110) :- #0.547.
link(111,114) :- #0.487.
link(114,111) :- #0.924.
link(111,144) :- #0.657.
link(144,111) :- #0.251.
link(112,118) :- #0.889.
link(118,112) :- #0.953.
link(112,124) :- #0.486.
link(124,112) :- #0.488.
link(113,134) :- #0.214.
link(134,113) :- #0.142.
link(113,137) :- #0.688.
link(137,113) :- #0.929.
link(113,139) :- #0.311.
link(139,113) :- #0.906.
link(114,135) :- #0.925.
link(135,114) :- #0.811.
link(114,137) :- #0.486.
link(137,114) :- #0.098.
link(114,145) :- #0.133.
link(145,114) :- #0.244.
link(115,120) :- #0.392.
link(120,115) :- #0.003.
link(115,128) :- #0.975.
link(128,115) :- #0.282.
link(115,136) :- #0.028.
link(136,115) :- #0.998.
link(115,139) :- #0.747.
link(139,115) :- #0.041.
link(115,142) :- #0.071.
link(142,115) :- #0.825.
link(116,122) :- #0.354.
link(122,116) :- #0.482.
link(116,125) :- #0.528.
link(125,116) :- #0.641.
link(116,133) :- #0.622.
link(133,116) :- #0.733.
link(117,119) :- #0.863.
link(119,117) :- #0.436.
link(117,131) :- #0.138.
link(131,117) :- #0.89.
link(117,137) :- #0.402.
link(137,117) :- #0.693.
link(118,129) :- #0.556.
link(129,118) :- #0.561.
link(119,130) :- #0.167.
link(130,119) :- #0.655.
link(119,135) :- #0.296.
link(135,119) :- #0.393.
link(120,123) :- #0.276.
link(123,120) :- #0.698.
link(120,127) :- #0.434.
link(127,120) :- #0.872.
link(121,123) :- #0.319.
link(123,121) :- #0.758.
link(121,124) :- #0.389.
link(124,121) :- #0.923.
link(121,131) :- #0.533.
link(131,121) :- #0.719.
link(123,128) :- #0.652.
link(128,123) :- #0.457.
link(123,134) :- #0.202.
link(134,123) :- #0.036.
link(123,139) :- #0.851.
link(139,123) :- #0.843.
link(124,127) :- #0.254.
link(127,124) :- #0.71.
link(124,142) :- #0.067.
link(142,124) :- #0.559.
link(125,129) :- #0.972.
link(129,125) :- #0.196.
link(125,131) :- #0.691.
link(131,125) :- #0.161.
link(126,134) :- #0.73.
link(134,126) :- #0.719.
link(126,139) :- #0.564.
link(139,126) :- #0.736.
link(127,145) :- #0.652.
link(145,127) :- #0.268.
link(128,133) :- #0.5.
link(133,128) :- #0.663.
link(128,139) :- #0.442.
link(139,128) :- #0.817.
link(129,134) :- #0.099.
link(134,129) :- #0.434.
link(129,138) :- #0.914.
link(138,129) :- #0.826.
link(129,139) :- #0.374.
link(139,129) :- #0.562.
link(130,145) :- #0.121.
link(145,130) :- #0.199.
link(131,135) :- #0.988.
link(135,131) :- #0.755.
link(131,137) :- #0.367.
link(137,131) :- #0.562.
link(131,145) :- #0.728.
link(145,131) :- #0.319.
link(135,144) :- #0.019.
link(144,135) :- #0.253.
link(136,144) :- #0.284.
link(144,136) :- #0.64.
link(138,142) :- #0.063.
link(142,138) :- #0.957.
link(139,143) :- #0.013.
link(143,139) :- #0.894.
link(140,144) :- #0.025.
link(144,140) :- #0.516.
colour(red0).
colour(green0).
colour(blue0).
colour(yellow0).
colour(cyan0).
